/
<
Computer
<
Platform
<
PC, IBM compatible
<
BIOS
<
EFI, Extensible Firmware Interface
<
Specifications
<
EDK, development kit
EFI Developer Kit (EDK) Getting Started Guide (2005-01-14) v0.41
Source code
VFR Programming Language (2008-02-20) v1.1
